Claessen Koen: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Shrinking and showing functions

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 467 KB

english, 2013

2

[ACM Press the 36th annual ACM SIGPLAN-SIGACT symposium - Savannah, GA, USA (2009.01.21-2009.01.23)] Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09 - Static contract checking for Haskell

Xu, Dana N., Peyton Jones, Simon, Claessen, Koen

Year:

2008

Language:

english

File:

PDF, 271 KB

english, 2008

3

[ACM Press the 2013 ACM SIGPLAN symposium - Boston, Massachusetts, USA (2013.09.23-2013.09.24)] Proceedings of the 2013 ACM SIGPLAN symposium on Haskell - Haskell '13 - Splittable pseudorandom number generators using cryptographic hashing

Claessen, Koen, Pałka, Michał H.

Year:

2013

Language:

english

File:

PDF, 695 KB

english, 2013

4

Screening for connective tissue disease-associated antibodies by automated immunoassay

Willems, Philippe, De Langhe, Ellen, Claessens, Jolien, Westhovens, René, Van Hoeyveld, Erna, Poesen, Koen, Vanderschueren, Steven, Blockmans, Daniel, Bossuyt, Xavier

Journal:

Clinical Chemistry and Laboratory Medicine

Year:

2018

Language:

english

File:

PDF, 883 KB

english, 2018

5

A poor man's concurrency monad

Journal:

Journal of Functional Programming

Year:

1999

Language:

english

File:

PDF, 166 KB

english, 1999

6

Generating constrained random data with uniform distribution

CLAESSEN, KOEN, DUREGÅRD, JONAS, PAŁKA, MICHAŁ H.

Journal:

Journal of Functional Programming

Year:

2015

Language:

english

File:

PDF, 568 KB

english, 2015

7

Efficient parallel and incremental parsing of practical context-free languages

BERNARDY, JEAN-PHILIPPE, CLAESSEN, KOEN

Journal:

Journal of Functional Programming

Year:

2015

Language:

english

File:

PDF, 757 KB

english, 2015

8

Typed Logical Variables in Haskell

Claessen Koen, Peter Ljunglöf

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

File:

PDF, 28 KB

2001

9

Quick specifications for the busy programmer

SMALLBONE, NICHOLAS, JOHANSSON, MOA, CLAESSEN, KOEN, ALGEHED, MAXIMILIAN

Journal:

Journal of Functional Programming

Year:

2017

Language:

english

File:

PDF, 841 KB

english, 2017

10

Changes in balance, functional performance and fall risk following whole body vibration training and vitamin D supplementation in institutionalized elderly women. A 6 month randomized controlled trial

An Bogaerts, Christophe Delecluse, Steven Boonen, Albrecht L. Claessens, Koen Milisen, Sabine M.P. Verschueren

Journal:

Year:

2011

Language:

english

File:

PDF, 346 KB

english, 2011

11

Structuring graphical paradigms in TkGofer

Claessen, Koen, Vullinghs, Ton, Meijer, Erik

Journal:

ACM SIGPLAN Notices

Year:

1997

Language:

english

File:

PDF, 1.02 MB

english, 1997

12

QuickCheck

Claessen, Koen, Hughes, John

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 4.71 MB

english, 2011

13

[ACM Press the 9th International Symposium - Nara, Japan (2016.09.22-2016.09.23)] Proceedings of the 9th International Symposium on Haskell - Haskell 2016 - The Key monad: type-safe unconstrained dynamic typing

Ploeg, Atze van der, Claessen, Koen, Buiras, Pablo

Year:

2016

Language:

english

File:

PDF, 213 KB

english, 2016

14

[ACM Press the 8th ACM SIGPLAN International Workshop - Berlin, Germany (2019.08.18-2019.08.18)] Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing - FHPNC 2019 - Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage

Aronsson, Markus, Claessen, Koen, Sheeran, Mary, Smallbone, Nicholas

Year:

2019

Language:

english

File:

PDF, 876 KB

english, 2019

15

Using circular programs for higher-order syntax

Axelsson, Emil, Claessen, Koen

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 459 KB

english, 2013

16

Safety Property Verification of Cyclic Synchronous Circuits

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 257 KB

english, 2004

17

Finding race conditions in Erlang with QuickCheck and PULSE

Claessen, Koen, Palka, Michal, Smallbone, Nicholas, Hughes, John, Svensson, Hans, Arts, Thomas, Wiger, Ulf

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 500 KB

english, 2009

18

[ACM Press the 14th ACM SIGPLAN international conference - Edinburgh, Scotland (2009.08.31-2009.09.02)] Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 - Finding race conditions in Erlang with QuickCheck and PULSE

Claessen, Koen, Palka, Michal, Smallbone, Nicholas, Hughes, John, Svensson, Hans, Arts, Thomas, Wiger, Ulf

Year:

2009

Language:

english

File:

PDF, 500 KB

english, 2009

19

[ACM Press the 5th Workshop - Cape Town, South Africa (2010.05.03-2010.05.04)] Proceedings of the 5th Workshop on Automation of Software Test - AST '10 - Ranking programs using black box testing

Claessen, Koen, Hughes, John, Pałka, Michał, Smallbone, Nick, Svensson, Hans

Year:

2010

Language:

english

File:

PDF, 148 KB

english, 2010

20

A library for light-weight information-flow security in haskell

Russo, Alejandro, Claessen, Koen, Hughes, John

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 245 KB

english, 2009

21

[IEEE 2018 Formal Methods in Computer Aided Design (FMCAD) - Austin, TX (2018.10.30-2018.11.2)] 2018 Formal Methods in Computer Aided Design (FMCAD) - Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation

Luteberget, Bjornar, Claessen, Koen, Johansen, Christian

Year:

2018

Language:

english

File:

PDF, 919 KB

english, 2018

22

Financiële stress van ouders en externaliserend probleemgedrag van adolescenten: De mediërende rol van depressieve gevoelens en opvoeding

Ponnet, Koen, Van Leeuwen, Karla, Claessens, Elke, Wouters, Edwin

Journal:

Kind & Adolescent

Year:

2016

File:

PDF, 341 KB

2016

23

GPGPU kernel implementation and refinement using Obsidian

Joel Svensson, Koen Claessen, Mary Sheeran

Journal:

Procedia Computer Science

Year:

2010

Language:

english

File:

PDF, 308 KB

english, 2010

24

Body composition in athletes: A comparison of densitometric methods and tracking of individual differences

Peeters, Maarten Wim, Goris, Marina, Keustermans, Greet, Pelgrim, Koen, Claessens, Albrecht L.

Journal:

European Journal of Sport Science

Year:

2013

Language:

english

File:

PDF, 240 KB

english, 2013

25

Harmonization of clinical interpretation of antinuclear antibody test results by solid phase assay and by indirect immunofluorescence through likelihood ratios

Bossuyt, Xavier, Claessens, Jolien, Belmondo, Thibaut, De Langhe, Ellen, Westhovens, Rene, Poesen, Koen, Hüe, Sophie, Blockmans, Daniel, Fritzler, Marvin J., Mahler, Michael, Fierz, Walter

Journal:

Autoimmunity Reviews

Year:

2019

File:

PDF, 1.43 MB

2019

26

Influence of zero flow pressure on fractional flow reserve

Tom E. Claessens, Paul L. Van Herck, Koen S. Matthys, Patrick Segers, Christiaan J. Vrints, Pascal R. Verdonck

Journal:

Biomechanics and Modeling in Mechanobiology

Year:

2004

Language:

english

File:

PDF, 297 KB

english, 2004

27

[ACM Press the 7th workshop - Philadelphia, Pennsylvania, USA (2012.01.28-2012.01.28)] Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming - DAMP '12 - Expressive array constructs in an embedded GPU kernel programming language

Claessen, Koen, Sheeran, Mary, Svensson, Bo Joel

Year:

2012

Language:

english

File:

PDF, 522 KB

english, 2012

28

[ACM Press the third ACM SIGPLAN international conference - Baltimore, Maryland, United States (1998.09.26-1998.09.29)] Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98 - Lava

Bjesse, Per, Claessen, Koen, Sheeran, Mary, Singh, Satnam

Year:

1998

Language:

english

File:

PDF, 1.05 MB

english, 1998

29

An embedded language approach to teaching hardware compilation

Claessen, Koen, Pace, Gordon J.

Journal:

ACM SIGPLAN Notices

Year:

2002

Language:

english

File:

PDF, 146 KB

english, 2002

30

[ACM Press the second ACM SIGPLAN international conference - Amsterdam, The Netherlands (1997.06.09-1997.06.11)] Proceedings of the second ACM SIGPLAN international conference on Functional programming - ICFP '97 - Structuring graphical paradigms in TkGofer

Claessen, Koen, Vullinghs, Ton, Meijer, Erik

Year:

1997

Language:

english

File:

PDF, 1.02 MB

english, 1997

31

TCT-19 Mid- and long-term outcome of the EXPLORE trial, a Global, Randomized, Prospective, Multicenter Trial Investigating the Impact of Recanalization of a Chronic Total Occlusion in Patients after Primary Percutaneous Coronary Intervention for Acute ST-Elevation Myocardial Infarction

Elias, Joelle, van Dongen, Ivo M., Laanmets, Peep, Eriksen, Erlend, Meuwissen, Martijn, Bax, Matthijs, Ioanes, Dan, Suttorp, Maarten, Strauss, Bradley, Barbato, Emanuele, Marques, Koen, Claessen, Bimm

Journal:

Journal of the American College of Cardiology

Year:

2017

Language:

english

File:

PDF, 318 KB

english, 2017

32

[ACM Press the fifth ACM SIGPLAN international conference - Not Known (2000..-..)] Proceedings of the fifth ACM SIGPLAN international conference on Functional programming - ICFP '00 - QuickCheck

Claessen, Koen, Hughes, John

Year:

2000

Language:

english

File:

PDF, 306 KB

english, 2000

33

Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans

Eddeland, Johan Liden, Claessen, Koen, Smallbone, Nicholas, Ramezani, Zahra, Miremadi, Sajed, Akesson, Knut

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2020

File:

PDF, 366 KB

2020

34

Using Lava to design and verify recursive and periodic sorters

Koen Claessen, Mary Sheeran, Satnam Singh

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2003

Language:

english

File:

PDF, 617 KB

english, 2003

35

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Using circular programs for higher-order syntax

Axelsson, Emil, Claessen, Koen

Year:

2013

Language:

english

File:

PDF, 459 KB

english, 2013

36

Testing monadic code with QuickCheck

Claessen, Koen, Hughes, John

Journal:

ACM SIGPLAN Notices

Year:

2002

Language:

english

File:

PDF, 202 KB

english, 2002

37

Expression and localization of CHODLΔE/CHODLfΔE, the soluble isoform of chondrolectin

An Claessens, Koen Van de Vijver, Dirk R. Van Bockstaele, Jan Wauters, Zwi N. Berneman, Eric Van Marck, Joseph Merregaert

Journal:

Cell Biology International

Year:

2007

Language:

english

File:

PDF, 3.36 MB

english, 2007

38

FUNCTIONAL PEARL Parallel Parsing Processes

Journal:

Journal of Functional Programming

Year:

2004

Language:

english

File:

PDF, 124 KB

english, 2004

39

[IEEE 2008 9th International Workshop on Discrete Event Systems - Goteborg, Sweden (2008.05.28-2008.05.30)] 2008 9th International Workshop on Discrete Event Systems - SAT-solving in practice

Claessen, Koen, Een, Niklas, Sheeran, Mary, Sorensson, Niklas

Year:

2008

Language:

english

File:

PDF, 169 KB

english, 2008

40

An automated residential demand response pilot experiment, based on day-ahead dynamic pricing

Vanthournout, Koen, Dupont, Benjamin, Foubert, Wim, Stuckens, Catherine, Claessens, Sven

Journal:

Year:

2015

Language:

english

File:

PDF, 1.61 MB

english, 2015

41

SAT-Solving in Practice, with a Tutorial Example from Supervisory Control

Koen Claessen, Niklas Een, Mary Sheeran, Niklas Sörensson, Alexey Voronov, Knut Åkesson

Journal:

Discrete Event Dynamic Systems

Year:

2009

Language:

english

File:

PDF, 529 KB

english, 2009

42

[ACM Press the second ACM SIGPLAN international conference - Amsterdam, The Netherlands (1997.06.09-1997.06.11)] Proceedings of the second ACM SIGPLAN international conference on Functional programming - ICFP '97 - Graphs in compilation (poster)

Year:

1997

Language:

english

File:

PDF, 108 KB

english, 1997

43

[ACM Press the 2014 ACM SIGPLAN symposium - Gothenburg, Sweden (2014.09.04-2014.09.05)] Proceedings of the 2014 ACM SIGPLAN symposium on Haskell - Haskell '14 - A seamless, client-centric programming model for type safe web applications

Ekblad, Anton, Claessen, Koen

Year:

2014

Language:

english

File:

PDF, 462 KB

english, 2014

44

[ACM Press the 2005 ACM SIGPLAN workshop - Tallinn, Estonia (2005.09.26-2005.09.28)] Proceedings of the 2005 ACM SIGPLAN workshop on Erlang - ERLANG '05 - A semantics for distributed Erlang

Claessen, Koen, Svensson, Hans

Year:

2005

Language:

english

File:

PDF, 146 KB

english, 2005

45

Graphs in compilation (poster)

Journal:

ACM SIGPLAN Notices

Year:

1997

Language:

english

File:

PDF, 108 KB

english, 1997

46

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - A Coverage Analysis for Safety Property Lists

Year:

2007

Language:

english

File:

PDF, 161 KB

english, 2007

47

[ACM Press the 5th International Workshop - Nara, Japan (2016.09.22-2016.09.22)] Proceedings of the 5th International Workshop on Functional High-Performance Computing - FHPC 2016 - Using fusion to enable late design decisions for pipelined computations

Karácsony, Máté, Claessen, Koen

Year:

2016

Language:

english

File:

PDF, 517 KB

english, 2016

48

[ACM Press the first ACM SIGPLAN symposium - Victoria, BC, Canada (2008.09.25-2008.09.25)] Proceedings of the first ACM SIGPLAN symposium on Haskell - Haskell '08 - A library for light-weight information-flow security in haskell

Russo, Alejandro, Claessen, Koen, Hughes, John

Year:

2008

Language:

english

File:

PDF, 245 KB

english, 2008

49

Efficient divide-and-conquer parsing of practical context-free languages

Bernardy, Jean-Philippe, Claessen, Koen

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 588 KB

english, 2013

50

[ACM Press the 2012 symposium - Copenhagen, Denmark (2012.09.13-2012.09.13)] Proceedings of the 2012 symposium on Haskell symposium - Haskell '12 - Shrinking and showing functions

Year:

2012

Language:

english

File:

PDF, 467 KB

english, 2012

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски